-
1 придавать официальный статус условиям
Makarov: formalize termsУниверсальный русско-английский словарь > придавать официальный статус условиям
-
2 язык
language, tongue* * *язы́к м.
languageформализова́ть язы́к вчт. — formalize a languageалгебраи́ческий язы́к — algebraic languageалгоритми́ческий язы́к — algorithmic languageвходно́й язы́к — input [source] languageвыходно́й язы́к — object [target] languageинформацио́нно-поиско́вый язы́к [ИПЯ] — information retrieval languageинформацио́нный язы́к — information languageисхо́дный язы́к — source languageко́довый язы́к — code languageязы́к матема́тики — mathematical language, mathematical termsмаши́нно-незави́симый язы́к — computer-independent languageмаши́нно-ориенти́рованный язы́к — computer-oriented languageмаши́нный язы́к — machine language, machine codeязы́к оригина́ла — source languageязы́к перево́да — target languageязы́к пла́мени — body of flame, tailпробле́мно-ориенти́рованный язы́к — problem-oriented languageязы́к программи́рования — program(ming) languageязы́к тепла́ метеор. — warmth tongueязы́к хо́лода метеор. — cold tongueязы́к центробе́жного компре́ссора ( вентилятора) — cut-off sheetэтало́нный язы́к — reference language
См. также в других словарях:
formalize — Synonyms and related words: agree on terms, block out, carve, cast, celebrate, chisel, codify, conventionalize, create, cut, dignify, efform, fashion, figure, fix, forge, form, found, frame, hew, knead, knock out, lay out, lick into shape, mint,… … Moby Thesaurus
ConsensusDOCS — Type Limited liability company … Wikipedia
Prime number theorem — PNT redirects here. For other uses, see PNT (disambiguation). In number theory, the prime number theorem (PNT) describes the asymptotic distribution of the prime numbers. The prime number theorem gives a general description of how the primes are… … Wikipedia
First-order logic — is a formal logical system used in mathematics, philosophy, linguistics, and computer science. It goes by many names, including: first order predicate calculus, the lower predicate calculus, quantification theory, and predicate logic (a less… … Wikipedia
Circumscription (logic) — Not to be confused with circumscribe. Circumscription is a non monotonic logic created by John McCarthy to formalize the common sense assumption that things are as expected unless otherwise specified. Circumscription was later used by McCarthy in … Wikipedia
Semantics of Business Vocabulary and Business Rules — The Semantics of Business Vocabulary and Business Rules (SBVR) is an adopted standard of the Object Management Group (OMG) intended to be the basis for a formal and detailed natural language declarative description of a complex entity, such as a… … Wikipedia
metalogic — /met euh loj ik/, n. the logical analysis of the fundamental concepts of logic. [1835 45; META + LOGIC] * * * Study of the syntax and the semantics of formal languages and formal systems. It is related to, but does not include, the formal… … Universalium
Mathematics — Maths and Math redirect here. For other uses see Mathematics (disambiguation) and Math (disambiguation). Euclid, Greek mathematician, 3r … Wikipedia
axiomatic method — In logic, the procedure by which an entire science or system of theorems is deduced in accordance with specified rules by logical deduction from certain basic propositions (axioms), which in turn are constructed from a few terms taken as… … Universalium
Hilbert's program — Hilbert s program, formulated by German mathematician David Hilbert in the 1920s, was to formalize all existing theories to a finite, complete set of axioms, and provide a proof that these axioms were consistent.Hilbert proposed that the… … Wikipedia
Quia Emptores — (medieval Latin for because the buyers , the incipit of the document) was a statute passed by Edward I of England in 1290 that prevented tenants from alienating their lands to others by subinfeudation. Quia Emptores, along with its companion… … Wikipedia